National University of Defense Technology

Results: 107



#Item
1

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi

Add to Reading List

Source URL: lqchen.github.io

Language: English - Date: 2018-08-14 11:59:25
    2

    Predicting Asset Value Through Twitter Buzz Xue Zhanga,b, Hauke Fuehresb, Peter A. Gloorb a Department of Mathematic and Systems Science, National University of Defense Technology, Changsha, Hunan, P.R.China

    Add to Reading List

    Source URL: www.ickn.org

    Language: English - Date: 2014-03-07 06:00:27
      3

      Automated Program Repair by Using Similar Code Containing Fix Ingredients Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi College of Computer National University of Defense Technology Changsha, China jitao , {lqchen

      Add to Reading List

      Source URL: lqchen.github.io

      Language: English - Date: 2018-08-14 11:59:25
        4

        0 Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization XUEGUANG WU, National University of Defense Technology LIQIAN CHEN, National University of Defense Technology ´ , Universit´e Pier

        Add to Reading List

        Source URL: lqchen.github.io

        Language: English - Date: 2018-08-14 11:59:25
          5

          Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China

          Add to Reading List

          Source URL: lqchen.github.io

          Language: English - Date: 2018-08-14 11:59:25
            6

            An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters Xueguang Wu1 , Liqian Chen2 and Ji Wang3 National Laboratory for Parallel and Distributed Processing, National University of Defense Technology, Cha

            Add to Reading List

            Source URL: lqchen.github.io

            Language: English - Date: 2018-08-14 11:59:25
              7

              3D Attention-Driven Depth Acquisition for Object Identification Kai Xu, Yifei Shi, Lintao Zheng, Junyu Zhang, Min Liu, Hui Huang, Hao Su, Daniel Cohen-Or and Baoquan Chen National University of Defense Technology Shandon

              Add to Reading List

              Source URL: kevinkaixu.net

              - Date: 2018-03-31 21:41:28
                8

                Attention to Describe Products with Attributes Shuohao Li National University of Defense Technology Changsha, China Kota Yamaguchi

                Add to Reading List

                Source URL: vision.is.tohoku.ac.jp

                - Date: 2017-05-13 04:51:56
                  9

                  Secure Quantum Key Distribution Network with Bell States and Local Unitary Operations Li Chunyan∗ Department of Physics, National University of Defense Technology, Changsha, Hunan, P. R. China, Quantum communic

                  Add to Reading List

                  Source URL: 2015.qcrypt.net

                  Language: English - Date: 2015-09-22 01:51:24
                    10

                    Multi-Agent Patrolling under Uncertainty and Threats Shaofei Chen1,2 , Feng Wu2 , Lincheng Shen1 , Jing Chen1 , and Sarvapali Ramchurn2 1 College of Mechatronics and Automation, National University of Defense Technology,

                    Add to Reading List

                    Source URL: www.cs.nmsu.edu

                    Language: English - Date: 2014-05-15 11:20:33
                      UPDATE